منابع مشابه
Interactive Planning for Shepherd Motion
Shepherding problem asks how the movement of an agent (e.g., predator, policeman, or sheepdog) can push a group of agents (e.g., prey, crowd, or sheep) from one position to another. The shepherding problem has many important and practical applications in security, environmental protection, agriculture, education and more. While much research has focused on simulating coordinated group behaviors...
متن کاملWhy3: Shepherd Your Herd of Provers
Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. This article focuses on the former part. Why3 comes with a new enhanced language of logical specification. It features a rich library of proof task transformations that can be chained to produce a suitable in...
متن کاملPituitary dwarfism in German Shepherd dogs.
· Growth hormone (GH), which is essential for growth · Thyroid stimulating hormone (TSH), which regulates thyroid function · Prolactin (PRL), which is essential for lactation · Follicle stimulating hormone (FSH) and Luteinizing hormone (LH), which are essential for ovulation in female animals and sperm production in male animals · Adrenocorticotroph hormone (ACTH), which stimulates the adrenal ...
متن کاملShepherd Contribution to Fy 04 Asci Annual
Experiments were carried out in FY04 on detonation wave structure, detonation wave diffraction, and the fracture of thin-walled tubes by detonation waves. Computations were performed on detonation wave propagation and the elastic response of tubes to detonation loading. One new effort was initiated on the diffraction of detonation waves, and the other activities were a continuation of previous ...
متن کاملEchocardiographic indices in normal German shepherd dogs
Sixty clinically normal German shepherd dogs, 31 males and 29 females, ranging in age from 1 and 5 years and with a body weight ranging from 22 to 37.2 kg, were examined by the two-dimensional mode, M-mode, and Doppler echocardiography. In Doppler mode, the mitral valve flows were obtained, where the aim was to determine the velocity peaks and ratios of the E and A waves and the mitral E wave d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Spinal Cord
سال: 1998
ISSN: 1362-4393,1476-5624
DOI: 10.1038/sj.sc.3100617